Declare ac_timer_init() properly in ac_timer.h

diff --git a/xen/arch/x86/setup.c b/xen/arch/x86/setup.c
index 208142e119beec8cc461103464ec28742adf915a..c6653708a1c8b4b12b3cb18aa731c452c550a5c8 100644 (file)
--- a/xen/arch/x86/setup.c
+++ b/xen/arch/x86/setup.c
@@ -78,7 +78,6 @@ extern void arch_init_memory(void);
 extern void init_IRQ(void);
 extern void trap_init(void);
 extern void early_time_init(void);
-extern void ac_timer_init(void);
 extern void initialize_keytable(void);
 extern void early_cpu_init(void);
 

diff --git a/xen/include/xen/ac_timer.h b/xen/include/xen/ac_timer.h
index baf10147927dadf37b4a2fd96096be8eea3fb5be..bd5131d6e3b8cc516f8ebe239c18d936896e1187 100644 (file)
--- a/xen/include/xen/ac_timer.h
+++ b/xen/include/xen/ac_timer.h
@@ -63,6 +63,11 @@ extern void set_ac_timer(struct ac_timer *timer, s_time_t expires);
  */
 extern void rem_ac_timer(struct ac_timer *timer);
 
+/*
+ * Initialisation. Must be called before any other ac_timer function.
+ */
+extern void ac_timer_init(void);
+
 #endif /* _AC_TIMER_H_ */
 
 /*